Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 6.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 001C20 | Frédéric Dadeau [France] ; Kalou Cabrera Castillos [France] ; Régis Tissot [France] | Scenario-Based Testing using Symbolic Animation of B Models |
| 002157 | Frédéric Dadeau [France] ; Fabien Peureux [France] ; Bruno Legeard [France] ; Régis Tissot [France] ; Jacques Julliand [France] ; Pierre-Alain Masson [France] ; Fabrice Bouquet [France] | Test Generation using Symbolic Animation of Models |
| 003259 | Pierre-Alain Masson [France] ; Marie-Laure Potet [France] ; Jacques Julliand [France] ; Régis Tissot [France] ; Fabrice Bouquet [France] ; Bruno Legeard [France] ; Eddie Jaffuel ; Boutheina Chetali [France] ; June Andronick ; Amal Haddad [France] | An Access Control Model Based Testing Approach for Smart Card Applications: Results of the POSÉ Project |
| 003369 | Frédéric Dadeau [France] ; Régis Tissot [France] | jSynoPSys - A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines |
| 003E71 | Frédéric Dadeau [France] ; Régis Tissot [France] ; Marie-Laure Potet [France] | A B Formal Framework for Security Developments in the Domain of Smart Card Applications |
| 004520 | Frédéric Dadeau [France] ; Régis Tissot [France] | Teaching Model-Based Testing with {L}eirios {T}est {G}enerator |
| This area was generated with Dilib version V0.6.33. |  |